#ifndef SDK_CONFIG_H__
#define SDK_CONFIG_H__

/* Project Configuration */

/*  Baremetal Configuration */

#define CONFIG_TARGET_NAME "libmetal_core1"
#define CONFIG_SHM_BASE_ADDR 0xc0000000
#define CONFIG_APU_CORE_IPI_MASK 0x1
/* end of  Baremetal Configuration */

/* AMP Config */

#define CONFIG_IPI_IRQ_NUM 0
#define CONFIG_IPI_IRQ_NUM_PRIORITY 16
#define CONFIG_SPIN_MEM 0x80000000
#define CONFIG_TARGET_CPU_ID 1
/* end of AMP Config */
/* end of Project Configuration */

/* Board Setting */

/* Arch Configuration */

#define CONFIG_TARGET_ARMV8_AARCH32
/* CONFIG_TARGET_ARMV8_AARCH64 is not set */
/* CONFIG_TARGET_ARMV7 is not set */
#define CONFIG_USE_CACHE
#define CONFIG_USE_L3CACHE
#define CONFIG_USE_MMU
/* CONFIG_USE_SYS_TICK is not set */
/* CONFIG_USE_AARCH64_L1_TO_AARCH32 is not set */
/* end of Arch Configuration */

/* Board Configuration */

/* CONFIG_TARGET_F2000_4 is not set */
/* CONFIG_TARGET_E2000 is not set */
#define CONFIG_TARGET_D2000
/* end of Board Configuration */

/* Components Configuration */

/* CONFIG_USE_SPI is not set */
/* CONFIG_USE_QSPI is not set */
#define CONFIG_USE_GIC
#define CONFIG_EBABLE_GICV3
/* CONFIG_USE_USART is not set */
/* CONFIG_USE_GPIO is not set */
/* CONFIG_USE_IOMUX is not set */
/* CONFIG_USE_ETH is not set */
/* CONFIG_USE_CAN is not set */
/* CONFIG_USE_I2C is not set */
/* CONFIG_USE_TIMER is not set */
/* CONFIG_USE_SDMMC is not set */
/* CONFIG_USE_PCIE is not set */
/* CONFIG_USE_DMA is not set */
/* end of Components Configuration */
/* end of Board Setting */

/* Building Option */

#define CONFIG_ENVI_UBUNTU_20_04

/* Cross-Compiler Setting */

/* CONFIG_COMPILER_NO_STD_STARUP is not set */
/* CONFIG_USE_EXT_COMPILER is not set */
/* end of Cross-Compiler Setting */
#define CONFIG_LOG_VERBOS
/* CONFIG_LOG_DEBUG is not set */
/* CONFIG_LOG_INFO is not set */
/* CONFIG_LOG_WARN is not set */
/* CONFIG_LOG_ERROR is not set */
/* CONFIG_LOG_NONE is not set */

/* Linker Options */

#define CONFIG_AARCH32_RAM_LD
/* CONFIG_AARCH64_RAM_LD is not set */
/* CONFIG_QEMU_AARCH32_RAM_LD is not set */
/* CONFIG_USER_DEFINED_LD is not set */
#define CONFIG_LINK_SCRIPT_ROM
#define CONFIG_ROM_START_UP_ADDR 0xa0100000
#define CONFIG_ROM_SIZE_MB 1
#define CONFIG_LINK_SCRIPT_RAM
#define CONFIG_RAM_START_UP_ADDR 0xa0200000
#define CONFIG_RAM_SIZE_MB 64
#define CONFIG_HEAP_SIZE 0x1000
#define CONFIG_STACK_SIZE 0x1000
/* end of Linker Options */
/* end of Building Option */

/* Library Configuration */

#define CONFIG_USE_LIBC
/* end of Library Configuration */

/* Third-Party Configuration */

/* CONFIG_USE_LWIP is not set */
/* CONFIG_USE_LETTER_SHELL is not set */
#define CONFIG_USE_AMP
#define CONFIG_USE_LIBMETAL
/* end of Third-Party Configuration */

#endif
